Sheaf Hom（层内 Hom、Hom 层）：在代数几何、同调代数等领域中，指“两个层之间同态的层”。给定两个（预）层 \( \mathcal{F}, \mathcal{G} \)，Sheaf Hom 通常记作 \( \mathcal{H}om(\mathcal{F}, \mathcal{G}) \)，其在每个开集 \(U\) 上给出从 \(\mathcal{F}|_U\) 到 \(\mathcal{G}|_U\) 的（满足限制映射兼容的）同态集合，并组织成一个层。
（注：不同语境下也可与内部 Hom、派生 Hom 等概念相关。）
/if hm/
In this chapter, we compute the sheaf Hom of two line bundles.
在这一章中，我们计算两个线丛之间的 sheaf Hom（层内 Hom）。
Using sheaf Hom, one can define derived functors that relate to Ext-sheaves and cohomology.
利用 sheaf Hom，可以定义与 Ext 层及上同调相关的派生函子。
sheaf 来自古英语 sceaf，原义与“一捆（谷物、箭等）”相关；在数学里“层（sheaf）”这一译名带有“把局部数据按规则束在一起”的形象比喻。Hom 是 homomorphism（同态） 的缩写；homo- 源自希腊语，意“相同”，-morphism 与“形态/映射”相关。合在一起，Sheaf Hom 就是“把同态按开集组织成层”的对象。
Select Language